Extending PDDL for Hierarchical Planning and Topological Abstraction
نویسندگان
چکیده
Despite major progress in AI planning over the last few years, many interesting domains remain challenging for current planners. Topological abstraction can reduce planning complexity in several domains, decomposing a problem into a two-level hierarchy. This paper presents LAP, a planning model based on topological abstraction. In formalizing LAP as a generic planning framework, the support of a planning language more expressive than PDDL can be very important. We discuss how an extended version of PDDL can be part of our planning framework, by providing support for hierarchical planning and topological abstraction. We demonstrate our ideas in Sokoban and path-finding, two domains where topological abstraction is useful.
منابع مشابه
An Extension to PDDL for Hierarchical Planning
This paper describes an extension to PDDL, devised to support hierarchical planning. The proposed syntactic notation should be considered as an initial suggestion, headed at promoting a discussion about how the standard PDDL can be extended to represent abstraction hierarchies.
متن کاملPlanning by Abstraction Using HW[]
This paper present s the parametric system HW[], devised and implemented to perform planning by abstraction. The parameter is an external PDDL-compliant planner, which is exploited to search for solutions at any required level of abstraction including the ground one. To represent abstraction hierarchies an extension to the standard PDDL notation has been devised, which allows one to control com...
متن کاملExperimenting the Performance of Abstraction Mechanisms Through a Parametric Hierarchical Planner
In this paper, the parametric hierarchical planner HW[] is presented, devised to perform experiments on abstraction mechanisms. The system has been designed to embed any PDDL-compliant planner –to be considered as a “parameter” with respect to the overall planning system. By suitably switching between abstraction levels, HW[] exploits the embedded planner to search for solutions at any required...
متن کاملHW [ ] : A Parametric System for Planning by Abstraction
In this article, a system devised and implemented to exploit abstraction techniques for solving complex problems is presented. The system is able to automatically generate a hierarchical planner starting from a generic planner P, provided that compliance with the STRIPS subset of PDDL 1.2 standard is ensured. The resulting hierarchical planner delegates to P the actual search at any required le...
متن کاملAutomated Program Checking via Action Planning
In this paper we translate concurrent C/C++ code into PDDL. The system then runs heuristic search planners against the PDDL outcome to generate traces for locating programming bugs. These counter-examples result in an interactive debugging aid and exploit efficient planner in-built heuristics. Different aspects like parsing, generation of the dependency graph, slicing, abstraction, and property...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003